perm filename ABEL.V[1,JRA] blob
sn#005834
filedate 1972-10-24 generic text, type T, neo UTF8
00100 AXIOMS: X*(((((X*X)*((U*(U*V))*V))*Y)*Z)*(((X*X)*X)*Z)) =Y; 00300 A*A=1; 00400 ;